Behaviours of concurrent systems
نویسندگان
چکیده
منابع مشابه
Behaviours of Concurrent Systems
Concurrent systems and their behaviours are investigated. The: tehaviour of a system is understood as the set of processes1 which the system is capable to realize. The processes may be elementary (indivisible) or may consist of some components. Two ways of composing processes are considered: sequentially (one conponent is a continuation of another) and in parallel (the components are concurrent...
متن کاملProbabilistic models of random behaviours of concurrent systems
The paper presents a theoretical basis for describing and analysing random behaviours of concurrent systems of a broad class.
متن کاملFormal Languages and Concurrent Behaviours
This is a tutorial based on a course delivered as part of the International PhD School in Formal Languages and Applications located at the Rovira i Virgili University in Tarragona, Spain. It is focused on an application of formal language theory to represent behaviours of concurrent systems necessitating a generalisation of language theory to traces, which originates with the work of Mazurkiewi...
متن کاملCausal Structures for General Concurrent Behaviours
Non-interleaving semantics of concurrent systems is often expressed using posets, where causally related events are ordered and concurrent events are unordered. Each causal poset describes a unique concurrent history which is a set of executions, expressed as sequences or step sequences, consistent with it. Moreover, such a poset captures all precedence-based invariant relationships between the...
متن کاملJózef Winkowski An Algebraic Framework for Defining Behaviours of Concurrent Systems
The paper contributes with a concept of process viewed as a model of a run of a phenomenon (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target),...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1980
ISSN: 0304-3975
DOI: 10.1016/0304-3975(80)90004-3